A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

As part of a review symposium on DARWIN'S ARGUMENT BY ANALOGY: FROM ARTIFICIAL TO NATURAL SELECTION (2021), the journal METASCIENCE invited Roger White, Jon Hodge and me to submit a response to the thoughtful commentaries on our book by Andrea Sullivan-Clarke, David Depew and Andrew Inkpen.

Hintergrund: Biomedizinische Ontologien existieren unter anderem zur Integration von klinischen und experimentellen Daten. Um dies zu erreichen ist es erforderlich, dass die fraglichen Ontologien von einer großen Zahl von Benutzern zur Annotation von Daten verwendet werden. Wie können Ontologien das erforderliche Maß an Benutzerfreundlichkeit, Zuverlässigkeit, Kosteneffektivität und Domänenabdeckung erreichen, um weitreichende Akzeptanz herbeizuführen? -/- Material und Methoden: Wir konzentrieren uns auf zwei unterschiedliche Strategien, die zurzeit hierbei verfolgt werden. Eine davon wird von SNOMED CT im Bereich der Medizin vertreten, die (...) andere im Bereich der Biologie und Biomedizin von der OBO Foundry. Es soll aufgezeigt werden, wie die Verpflichtung zu speziellen Kriterien der Ontologieentwicklung die Nützlichkeit und Effektivität der Ontologien positiv beeinflusst, indem die Pflege der terminologischen Systeme und ihre Interoperabilität vereinfacht werden. -/- Ergebnisse: SNOMED CT und die OBO Foundry unterscheiden sich grundlegend in ihren Ansätzen und Zielen. Unabhängig davon kann jedoch ein allgemeiner Trend zur strengeren Formalisierung und Fokussierung auf Interoperabilität zwischen unterschiedlichen Domänen und ihren Repräsentationen beobachtet werden. (shrink)

Batı’da teorik felsefe; Analitik Felsefe (AF), Kıta Felsefesi (KF) ve Felsefe Tarihi (FT) olmak üzere üçe ayrılır. Fakat üçünde de işler yolunda değildir. AF, felsefenin bir bilim olabileceği iddiasından kuşku duyduğu için gerçek dünyayla ilgilenmiyorken başından beri uygun bir teorik yöntem izlemeyen Kıta Felsefesinin uygulanışı, belirli politik ve etik yargılara hizmet edecek şekilde özelleştirilmiştir. FT çalışmalarının gidişatı ise eldeki eserin nesnel değerinden daha çok ilgili filozofun ait olduğu ulus veya kültüre göre bölgesel bir temelde gelişmiştir. Felsefede ilerleme sağlanacaksa bu ancak (...) bahsi geçen tuzaklardan kaçınılarak gerçekleşebilir. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

Recently two distinct forms of rule-utilitarianism have been introduced that differ on how to measure the consequences of rules. Brad Hooker advocates fixed-rate rule-utilitarianism, while Michael Ridge advocates variable-rate rule-utilitarianism. I argue that both of these are inferior to a new proposal, optimum-rate rule-utilitarianism. According to optimum-rate rule-utilitarianism, an ideal code is the code whose optimum acceptance level is no lower than that of any alternative code. I then argue that all three forms of rule-utilitarianism fall prey to two fatal (...) problems that leave us without any viable form of rule-utilitarianism. (shrink)

Three-dimensionalists , sometimes referred to as endurantists, think that objects persist through time by being “wholly present” at every time they exist. But what is it for something to be wholly present at a time? It is surprisingly difficult to say. The threedimensionalist is free, of course, to take ‘is wholly present at’ as one of her theory’s primitives, but this is problematic for at least one reason: some philosophers claim not to understand her primitive. Clearly the three-dimensionalist would be (...) better off if she could state her theory in terms accessible to all. We think she can. What is needed is a definition of ‘is wholly present at’ that all can understand. in this paper, we offer one. (shrink)

The three young philosophers Kevin Mulligan, Peter Simons and Barry Smith have become well-known in the last few years especially in German-speaking analytical philosophy and phenomenology circles. This is on the one hand as a result of their historical and systematic philosophical work; but it is also because of the provocative way in which they represent their philosophy. Because they often appear in threes, they have become known as the "gang of three" or "three musketeers" or even – and (...) this in an admiring sense – "mafiosi" (Rescher). They are known primarily for the small workshops they have been organizing in uncomplicated Anglo-Saxon manner all over Europe. Their goal has been to show that analytic philosophy as it has been pursued up to now is in need of reform and also that the history of scientific philosophizing is not identical to the history of Anglo-Saxon analytic philosophy. Above all, they have tried to make more well known the Austrian tradition of scientific philosophy, and they can be given credit for having done much to promote the current interest in this tradition, which means: the history of Austrian philosophy of the 19th and early 20th centuries and its historical context in the Austro-Hungarian Empire. (shrink)

Introduction and translation of “The Four Phases of Philosophy” by Franz Brentano.

Information may be defined as the conceptual or communicable part of the content of mental acts. The content of mental acts includes sensory data as well as concepts, particular as well as general information. An information system is an external (non-mental) system designed to store such content. Information systems afford indirect transmission of content between people, some of whom may put information into the system and others who are among those who use the system. In order for communication to happen, (...) the conceptual systems of the originators and users of the information must be sufficiently similar. A formal conceptual framework that can provide the basis for exchange of information is termed an ontology. In its most fundamental form, ontology studies the most basic constituents of reality. Traditionally, ontology seeks to reflects structures that are independent of thought and cognition. The term ontology is used more broadly in artificial intelligence and software engineering, to refer to the conceptual basis for an information system. (shrink)

The shape of the Earth's surface, its topography, is a fundamental dimension of the environment, shaping or mediating many other environmental flows or functions. But there is a major divergence in the way that topography is conceptualized in different domains. Topographic cartographers, information scientists, geomorphologists and environmental modelers typically conceptualize topographic variability as a continuous field of elevations or as some discrete approximation to such a field. Pilots, explorers, anthropologists, ecologists, hikers, and archeologists, on the other hand, typically conceptualize this (...) same variability in terms of hills and valleys, mountains and plains, barrows and trenches, that is, as (special sorts of) objects, with locations, shapes, and often names of their own. In this chapter, we sketch an approach to bridging this fundamental gap in geographic information infrastructure. (shrink)

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...) to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Many healthcare practices expose people to risks of harmful outcomes. However, the major theories of moral philosophy struggle to assess whether, when and why it is ethically justifiable to expose individuals to risks, as opposed to actually harming them. Sven Ove Hansson has proposed an approach to the ethical assessment of risk imposition that encourages attention to factors including questions of justice in the distribution of advantage and risk, people’s acceptance or otherwise of risks, and the scope individuals have to (...) influence the practices that generate risk. This paper investigates the ethical justifiability of preventive healthcare practices that expose people to risks including overdiagnosis. We applied Hansson’s framework to three such practices: an ‘ideal’ breast screening service, a commercial personal genome testing service, and a guideline that lowers the diagnostic threshold for hypertension. The framework was challenging to apply, not least because healthcare has unclear boundaries and involves highly complex practices. Nonetheless, the framework encouraged attention to issues that would be widely recognised as morally pertinent. Our assessment supports the view that at least some preventive healthcare practices that impose risks including that of overdiagnosis are not ethically justifiable. Further work is however needed to develop and/or test refined assessment criteria and guidance for applying them. (shrink)

Since it is only five years since the publication of our paper, "Geographical categories: An ontological investigation" (Smith and Mark 2001), it seems somewhat strange to be making retrospective comments on the piece. Nevertheless, the field is moving quickly, and much has happened since the article appeared. A large number of papers have already cited the work, which suggests that there is a seam here that people find worthy of being mined. In this short essay, we first review the (...) paper and attempt to assess its significance from the perspective of our current work. We then put the paper in the context of our individual and joint works, which led up to it, and summarize our research trajectories since the paper appeared, pointing out what some of this reveals about spatial ontology in general. We conclude with some remarks on the future of ontological research in geographical information science. (shrink)

An ontology of geographic kinds is designed to yield a better understanding of the structure of the geographic world, and to support the development of geographic information systems that are conceptually sound. This paper first demonstrates that geographical objects and kinds are not just larger versions of the everyday objects and kinds previously studied in cognitive science. Geographic objects are not merely located in space, as are the manipulable objects of table-top space. Rather, they are tied intrinsically to space, and (...) this means that their spatial boundaries are in many cases the most salient features for categorization. The ontology presented here will accordingly be based on topology (the theory of boundary, contact and separation) and on mereology (the theory of extended wholes and parts). Geographic reality comprehends mesoscopic entities, many of which are best viewed as shadows cast onto the spatial plane by human reasoning and language. Because of this, geographic categories are much more likely to show cultural differences in category definitions than are the manipulable objects of table-top space. (shrink)

Twentieth century philosophers introduced the distinction between “objective rightness” and “subjective rightness” to achieve two primary goals. The first goal is to reduce the paradoxical tension between our judgments of (i) what is best for an agent to do in light of the actual circumstances in which she acts and (ii) what is wisest for her to do in light of her mistaken or uncertain beliefs about her circumstances. The second goal is to provide moral guidance to an agent who (...) may be uncertain about the circumstances in which she acts, and hence is unable to use her standard moral principle directly in deciding what to do. This paper distinguishes two important senses of “moral guidance”; proposes criteria of adequacy for accounts of subjective rightness; canvasses existing definitions for “subjective rightness”; finds them all deficient; and proposes a new and more successful account. It argues that each comprehensive moral theory must include multiple principles of subjective rightness to address the epistemic situations of the full range of moral decision-makers, and shows that accounts of subjective rightness formulated in terms of what it would reasonable for the agent to believe cannot provide that guidance. -/- . (shrink)

Using Peirce as a guide, this paper explores the way in which light mediates finitude through the relational process of semiosis. Embodying the triadic logic of identity, difference and return, light creates space, time and matter. Attention is on simple bodily forms and the meta-physics of their relationality. The first section introduces the mathematical and metaphysical contours of Peirce’s approach. The second section motivates Peirce’s three categories as interwoven process. In the third section, Peirce’s formalism of the sign is presented (...) and applied to simple physical and biological bodies. (shrink)

Triadic (systemical) logic can provide an interpretive paradigm for understanding how quantum indeterminacy is a consequence of the formal nature of light in relativity theory. This interpretive paradigm is coherent and constitutionally open to ethical and theological interests. -/- In this statement: -/- (1) Triadic logic refers to a formal pattern that describes systemic (collaborative) processes involving signs that mediate between interiority (individuation) and exteriority (generalized worldview or Umwelt). It is also called systemical logic or the logic of relatives. The (...) term "triadic logic" emphasizes that this logic involves mediation of dualities through an irreducibly triadic formalism. The term "systemical logic" emphasizes that this logic applies to systems in contrast to traditional binary logic which applies to classes. The term "logic of relatives" emphasizes that this logic is background independent (in the sense discussed by Smolin ). -/- (2) An interpretive paradigm refers to a way of thinking that generates an understanding through concepts, their inter-relationships and their connections with experience. -/- (3) Coherence refers to holistic integrity or continuity in the meaning of concepts that form an interpretation or understanding. -/- (4) Constitutionally open refers to an inherent dependence in principle of an interpretation or understanding on something outside of a specific discipline's discourse or domain of inquiry (epistemic system). Interpretations that are constitutionally open are incomplete in themselves and open to responsive, interdisciplinary discourse and collaborative learning. (shrink)

An exploration of the relational ontology of space, time and light.

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological theorizing in abstract (...) fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)

A speculative exploration of the distinction between a relational formal ontology and a classical formal ontology for modelling phenomena in nature that exhibit relationally-mediated wholism, such as phenomena from quantum physics and biosemiotics. Whereas a classical formal ontology is based on mathematical objects and classes, a relational formal ontology is based on mathematical signs and categories. A relational formal ontology involves nodal networks (systems of constrained iterative processes) that are dynamically sustained through signalling. The nodal networks are hierarchically ordered and (...) exhibit characteristics of deep learning. (shrink)

For centuries it has been a mainstay of European and American moral thought that keeping promises—and the allied activity of upholding contracts—is one of the most important requirements of morality. On some historically powerful views the obligation to uphold promises or contracts not only regulates private relationships, but also provides the moral foundation for our duty to support and obey legitimate governments. Some theorists believe that the concept of keeping promises has gradually moved to center stage in European moral thought. (...) They see this movement as part of an historical shift from a moral conception in which an individual’s duties are mainly externally imposed and unalterable, to a conception in which duties are largely chosen by the individual. (shrink)

A phenomenological exploration of the meta-physics of categories, relations, and signs as encountered in physics and the natural sciences.

This text explores the interfacing of philosophy and poetry as encounter with alterity—language engaging theme and rupture.

Habermas’ theory of communicative action is explored as an orientation to the question of understanding which negotiates a pathway between two opposing (and complementary) theoretical frameworks—namely, hermeneutical-relational and empirical-analytical frameworks. His perspective grounds speech, action and understanding in the ethics of human relations. In his approach, understanding is fixed by particular events or situations about which intersubjective agreement must be achieved through the offer and acceptance of reasons that simultaneously orient actors to three worlds: the objective, the social and the (...) personal worlds. This approach raises the question as to whether the process of abstracting from the particular event to the general form, through such rational discourse, might create systems of understanding which silence individual expression and naming, particularly if such expression involves an identity that is not shared with others in the group. In other words, is the origin of an event or situation necessarily a null point for all actors? As this question is explored, metaphor comes to the fore as a complementary process of showing that which cannot be grounded in the dominant system of understanding. The pivot role of naming in the formal structure of Godel’s First Incompleteness Theorem for Number Theory demonstrates the challenge to Habermas’ theory. (shrink)

An exploration of the metaphysics of relation as a unifying motif in modern physics. What happens when Ideal observers begin to observe their own observing?

In “Ontologies Relevant to behaviour change interventions: A Method for their Development” Wright, et al. outline a step by step process for building ontologies of behaviour modification – what the authors call the Refined Ontology Developmental Method (RODM) – and demonstrate its use in the development of the Behaviour Change Intervention Ontology (BCIO). RODM is based on the principles of good ontology building used by the Open Biomedical Ontology (OBO) Foundry in addition to those outlined in (Arp, Smith, and (...) Spear 2015). BCIO uses as its top-level ontology Basic Formal Ontology (BFO). The methods outlined in Wright, et al. are a valuable contribution to the field, especially the use of formal mechanisms for literature annotation and expert stakeholder review, and the BCIO will certainly play an important role in the extension of OBO Foundry ontologies into the behavioural domain. (shrink)

By identifying the formal role of light in relativity theory with the formal role of text in Gadamer’s theory of hermeneutics, the two theories are brought into relationship. Through this fusion, the privileging of “space” in physics and the privileging of “time” in hermeneutics are reciprocally interrogated as horizons of truth.

A moral code consists of principles that assign moral status to individual actions – principles that evaluate acts as right or wrong, prohibited or obligatory, permissible or supererogatory. Many theorists have held that such principles must serve two distinct functions. On the one hand, they serve a theoretical function, insofar as they specify the characteristics in virtue of which acts possess their moral status. On the other hand, they serve a practical function, insofar as they provide an action-guide: a standard (...) by reference to which a person can choose which acts to perform and which not. Although the theoretical and practical functions of moral principles are closely linked, it is not at all obvious that what enables a principle to fill one of these roles automatically equips it to fill the other. In this paper I shall briefly examine some of the reasons why a moral principle might fail to fill its practical role, i.e., be incapable of guiding decisions. I shall then sketch three common responses to this kind of failure, and examine in some detail the adequacy of one of the most popular of these responses. (shrink)

An exploration of the hypothesis that quantum mechanics is the interpretative framework of relativity theory.

Because we must often make decisions in light of imperfect information about our prospective actions, the standard principles of objective obligation must be supplemented with principles of subjective obligation (which evaluate actions in light of what the agent believes about their circumstances and consequences). The point of principles of subjective obligation is to guide agents in making decisions. But should these principles be stated in terms of what the agent actually believes or what it would be reasonable for her to (...) believe about her prospective actions? I show that there are many decisions for which “reasonable belief” principles can’t be used by the decision-maker, especially in cases in which whether (or how) the agent investigates or deliberates affects the nature of the prospective action itself. I conclude that subjective rightness depends on what the agent actually believes, not what it would be reasonable for her to believe. (shrink)

This workbook of "études" offers a collection of experimental texts for communal dialogue and discovery that crosses multiple academic disciplines, including: foundations of physics, metaphysics, theoretical biology, semiotics, cognitive science, linguistics, phenomenology, logic & mathematics, poetry and theology. Each étude probes limits, horizons and boundaries by implicitly bring into relation foundational issues that characterize different academic disciplines or systems of meaning formation. Some formal techniques are deployed the études. Most notable is the use of the “logic of three” to overcome (...) falsely totalizing images and inexorable dualities. This technique involves a particular kind of attunement to the “betweenness” of mediation that is not common in modern science. The attunement draws on the formal and precise movements of analysis in concert with the metaphoric and singular movements of synthesis. (shrink)

a collection of poems as companion to a collection of philosophical études.

By bringing together Dretske’s theory of knowledge, Shannon’s theory of information, and the conceptual framework of statistical physics, this paper explores some of the meta-physical challenges posed by a naturalistic notion of semantical information. It is argued that Dretske’s theory cannot be said to be naturalistically grounded in the world described by classical physics and that Dretske information is not consistent with Shannon information. A possible route to reconciling Dretske’s insights with Shannon’s theory is proposed. Along the way, an attempt (...) is made to clarify several points of possible confusion about the relationships between Dretske information, Shannon information and statistical physics. (shrink)

An imaginative exploration of space and time in which light mediates the relationship between finitude and the Infinite. Light becomes the creative source through which interiority and exteriority are manifested and brought into synchronicity as time, space and mass. The exploration probes the relational logic of relativity theory using the meta-physical insights of Augustine, Hegel, Levinas, and Peirce.

In this paper, I trace the three-fold essence of “return”—a generating trope of identity and difference, through which formal aspects of the theory of relativity, the movement of language and emergence in evolution might converge. The trope of return is contrasted with the more common two-fold structure of relatedness underwriting differential calculus, propositional semantics and reductionism, which privileges space over time, identity over difference, self over creation.

John Searle’s The Construction of Social Reality and Hernando de Soto’s The Mystery of Capital shifted the focus of current thought on capital and economic development to the cultural and conceptual ideas that underpin market economies and that are taken for granted in developed nations. This collection of essays assembles 21 philosophers, economists, and political scientists to help readers understand these exciting new theories.

Translation of "Von der Armut am Geiste; ein Dialog des jungen Lukács," by Ágnes Heller. This translation originally appeared in The Philosophical Forum, Spring-Summer 1972.

in Abortion and the Status of the Fetus, Volume XIII of the series, “Philosophy of Medicine,” eds. William B. Bondeson, H. Tristram Englehardt, Stuart Spicker, and Daniel H. Winship (Dordrecht, Holland/Boston, Massachusetts: D. Reidel, 1983), pp. 229-245.

In the visual representation of ontologies, in particular of part-whole relationships, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations, and we propose instead a new representation of part-whole structures for ontologies, and describe the results of experiments designed to show the effectiveness of this new proposal especially as concerns reduction of visual complexity. The proposal is developed to serve visualization of ontologies conformant to the (...) Basic Formal Ontology. But it can be used also for more general applications, particularly in the biomedical domain. (shrink)

Conflict over who belongs in women-only spaces is now part of mainstream political debate. Some think women-only spaces should exclude on the basis of sex, and others think they should exclude on the basis of a person’s self-determined gender identity. Many who take the latter view appear to believe that the only reason for taking the former view could be antipathy towards men who identify as women. In this paper, we’ll revisit the second-wave feminist literature on separatism, in order to (...) uncover the reasons for women-only spaces as feminists originally conceived them. Once these reasons are understood, those participating in debates over women-only spaces will be in a better position to adjudicate on whether shifting from sex to gender identity puts any significant interests at stake. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the level of (...) controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two terminological (...) traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)